1,958 research outputs found
On the covering number of symmetric groups of even degree
If a group is the union of proper subgroups , we say
that the collection is a cover of , and the size of a
minimal cover (supposing one exists) is the covering number of , denoted
. Mar\'oti showed that for odd and
sufficiently large, and he also gave asymptotic bounds for even. In this
paper, we determine the exact value of when is divisible by
.Comment: Manuscript has been completely rewritten to fix gaps in proofs and
improve readabilit
Graphs that contain multiply transitive matchings
Let be a finite, undirected, connected, simple graph. We say that a
matching is a \textit{permutable -matching} if
contains edges and the subgroup of that fixes the
matching setwise allows the edges of to be permuted
in any fashion. A matching is \textit{2-transitive} if the
setwise stabilizer of in can map any ordered
pair of distinct edges of to any other ordered pair of distinct
edges of . We provide constructions of graphs with a permutable
matching; we show that, if is an arc-transitive graph that contains a
permutable -matching for , then the degree of is at least
; and, when is sufficiently large, we characterize the locally
primitive, arc-transitive graphs of degree that contain a permutable
-matching. Finally, we classify the graphs that have a -transitive
perfect matching and also classify graphs that have a permutable perfect
matching.Comment: to appear in European Journal of Combinatoric
Transitive PSL(2,11)-invariant k-arcs in PG(4,q)
A \textit{k}-arc in the projective space is a set of
projective points such that no subcollection of points is contained in a
hyperplane. In this paper, we construct new -arcs and -arcs in that do not arise from rational or elliptic curves. We introduce
computational methods that, when given a set of projective points
in the projective space of dimension over an algebraic number field
, determines a complete list of primes for which the
reduction modulo of to the projective space
may fail to be a -arc. Using these methods, we prove that there are
infinitely many primes such that contains a -invariant -arc, where is given in one of its
natural irreducible representations as a subgroup of .
Similarly, we show that there exist -invariant -arcs in
and -invariant -arcs in
for infinitely many primes .Comment: 21 pages; updated and revise
On the number of reachable pairs in a digraph
A pair of (not necessarily distinct) vertices in a directed graph
is called a reachable pair if there exists a directed path from to .
We define the weight of to be the number of reachable pairs of , which
equals the sum of the number of vertices in and the number of directed
edges in the transitive closure of . In this paper, we study the set
of possible weights of directed graphs on labeled vertices. We prove that
can be determined recursively and describe the integers in the set.
Moreover, if is the least integer for which there is no
digraph on vertices with exactly reachable pairs, we determine
exactly through a simple recursive formula and find an explicit function
such that for all . Using these
results, we are able to approximate -- which is quadratic in --
with an explicit function that is within of for all , thus answering a question of Rao. Since the weight of a directed graph on
vertices corresponds to the number of elements in a preorder on an
element set and the number of containments among the minimal open sets of a
topology on an point space, our theorems are applicable to preorders and
topologies.Comment: 36 pages, now including supporting data for calculations; to appear
in Australasian Journal of Combinatoric
Fuchs' problem for 2-groups
Nearly years ago, L\'{a}szl\'{o} Fuchs posed the problem of determining
which groups can be realized as the group of units of a commutative ring. To
date, the question remains open, although significant progress has been made.
Along this line, one could also ask the more general question as to which
finite groups can be realized as the group of units of a finite ring. In this
paper, we consider the question of which -groups are realizable as unit
groups of finite rings, a necessary step toward determining which nilpotent
groups are realizable. We prove that all -groups of exponent are
realizable in characteristic . Moreover, while some groups of exponent
greater than are realizable as unit groups of rings, we prove that any
-group with a self-centralizing element of order or greater is never
realizable in characteristic , and consequently any indecomposable,
nonabelian group with a self-centralizing element of order or greater
cannot be the group of units of a finite ring.Comment: 19 page
Homomorphisms of matrix algebras and constructions of Butson-Hadamard matrices
An matrix is Butson-Hadamard if its entries are
roots of unity and it satisfies . Write
for the set of such matrices.
Suppose that where and are primes and
. A recent result of {\"O}sterg{\aa}rd and Paavola uses a matrix
to construct . We simplify the proof of this
result and remove the restriction on the number of prime divisors of . More
precisely, we prove that if , and each prime divisor of divides
, then we can construct a matrix from any .Comment: 5 page
A note on relative hemisystems of Hermitian generalised quadrangles
In this paper we introduce a set of sufficient criteria for the construction
of relative hemisystems of the Hermitian space , unifying
all known infinite families. We use these conditions to provide new proofs of
the existence of the known infinite families of relative hemisystems. Reproving
these results has allowed us to find new relative hemisystems closely related
to an infinite family of Cossidente's, and develop techniques that are likely
to be useful in finding relative hemisystems in future
On -arc-transitive graphs of order
We show that there exist functions and such that, if , and
are positive integers with and is a -valent
-arc-transitive graph of order with a prime, then . In other words, there are only finitely many -valent
2-arc-transitive graphs of order with and prime. This
generalises a recent result of Conder, Li and Poto\v{c}nik.Comment: Fixed a mistak
A classification of finite antiflag-transitive generalized quadrangles
A generalized quadrangle is a point-line incidence geometry
such that: (i) any two points lie on at most one line, and (ii) given a line
and a point not incident with , there is a unique point of
collinear with . The finite Moufang generalized quadrangles were
classified by Fong and Seitz (1973), and we study a larger class of generalized
quadrangles: the \emph{antiflag-transitive} quadrangles. An antiflag of a
generalized quadrangle is a non-incident point-line pair , and we
say that the generalized quadrangle is antiflag-transitive if the
group of collineations is transitive on the set of all antiflags. We prove that
if a finite thick generalized quadrangle is antiflag-transitive,
then is either a classical generalized quadrangle or is the
unique generalized quadrangle of order or its dual
Spectra of Hadamard matrices
A Butson Hadamard matrix has entries in the kth roots of unity, and
satisfies the matrix equation . We write for the set of such matrices. A complete morphism of Butson matrices is a
map . In this paper, we
develop a technique for controlling the spectra of certain Hadamard matrices.
For each integer , we construct a real Hadamard matrix of order
such that the minimal polynomial of
is the cyclotomic polynomial .
Such matrices yield new examples of complete morphisms for each ,
generalising a well-known result of Turyn.Comment: 12 page
- β¦